👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·13h
🎯Performance Proofs
Structural vs. Mathematical “Under” (2023)
dyalog.com·17h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·5h
✅Format Verification
Guessing Game: Haskell Style
entropicthoughts.com·19h
👑Dependent Haskell
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·23h·
Discuss: Hacker News
🔱Galois Cryptography
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·5h
🎯Gradual Typing
FLINT: Fast Library for Number Theory
flintlib.org·23h
🧮Algebraic Datatypes
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·4h·
Discuss: DEV
🔒WASM Capabilities
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
Is Math Discovered or Invented?
curtispoe.org·10h
🔲Proof Irrelevance
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·3h
📐Geometric Hashing
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🤝Paxos Consensus
Did GPT-5 Solve 'New Math'?
tech2geek.net·7h·
Discuss: Hacker News
🎯Performance Proofs
busy beaver function
ncatlab.org·3d
⚔️Lean Theorem
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·3h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Reversing a (not-so-) Simple Rust Loader | cxiao.net
cxiao.net·4h
🦀Rust Macros
Typeclassopedia
wiki.haskell.org·1d·
Discuss: Hacker News
🧬Functional Programming
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·1d·
Discuss: Hacker News
⚡Proof Automation